@InProceedings{RodriguesAmbrCerq:2016:FrAuMo,
               author = "Rodrigues, Italo Pinto and Ambrosio, Ana Maria and Cerqueira, 
                         Christopher Schneider",
          affiliation = "{Instituto Nacional de Pesquisas Espaciais (INPE)} and {Instituto 
                         Nacional de Pesquisas Espaciais (INPE)} and {Instituto Nacional de 
                         Pesquisas Espaciais (INPE)}",
                title = "A framework for automated model validation applied to 
                         picosatellite electrical power subsystem",
            booktitle = "Anais...",
                 year = "2016",
               editor = "Cerqueira, Christopher Shneider and Souza, Alain Giacobini de and 
                         Oliveira Junior, Eloy Martins de and Bertoldo Junior, Jorge and 
                         Yassuda, Irineu dos Santos and Lima, Jeanne Samara dos Santos and 
                         Morais, Marcelo Henrique Essado de and Oliveira, M{\^o}nica 
                         Elizabeth Rocha de and Gondo, Suely Mitsuko Hirakawa and Fornari, 
                         Celso Israel and Toledo, Rafael Cardoso and Fischer, Gustavo 
                         Alexandre Achilles",
         organization = "Workshop em Engenharia e Tecnologias Espaciais, 7. (WETE)",
            publisher = "Instituto Nacional de Pesquisas Espaciais (INPE)",
              address = "S{\~a}o Jos{\'e} dos Campos",
             keywords = "Testing, Modeling \& Simulation, Verification and Validation.",
             abstract = "This paper aims to describe the structure of a framework for an 
                         automated pico and nanosatellite model validation, using 
                         commercial tools. It was proposed that the models are as granular 
                         as in the verification plans (it is not possible to test internal 
                         behaviors from a black box artifact), so, each model represent an 
                         element in a unique file and a sequencer will integrate them, as a 
                         DSM (Design Structure Matrix) in Excel. The framework enables the 
                         subsystem verification in different configurations as fully 
                         simulated models and HIL (Hardware-In-the-Loop). The paper also 
                         presents the application of the framework using a EPS (Electrical 
                         Power Supply) behavioral model and the results of this 
                         application.",
  conference-location = "S{\~a}o Jos{\'e} dos Campos",
      conference-year = "23-25 ago. 2016",
                 issn = "2177-3114",
             language = "en",
                  ibi = "8JMKD3MGP3W34P/3ME47QP",
                  url = "http://urlib.net/ibi/8JMKD3MGP3W34P/3ME47QP",
        urlaccessdate = "27 abr. 2024"
}